package br.ufrn.btest.decorators.expressions;

import java.util.Set;

import de.be4.classicalb.core.parser.node.ATrueExpression;
import de.be4.classicalb.core.parser.node.PExpression;

public class MyATrueExpression extends MyExpressionDecorator {

	
	private ATrueExpression truee;


	public MyATrueExpression(ATrueExpression truee) {
		this.truee = truee;
	}
	
	
	
	@Override
	public PExpression getNode() {
		return this.truee;
	}
	
	
	
	@Override
	public Set<String> getVariables() {
		return super.getVariables();
	}
	
	
	
	@Override
	public String toString() {
		return "TRUE";
	}
	
	
	
	@Override
	public boolean isInterval() {
		return false;
	}
	
	
	
	@Override
	public boolean isBasicType() {
		return false;
	}

}
